<!DOCTYPE html>
<html>
<head>
  <title>launcher</title>
</head>
<body>
  <script src="launcher.js"></script>
</body>
</html>
